constructive mathematics nghĩa là gì

Từ điển kỹ thuật

Lĩnh vực: toán & tin

• toán học kiến thiết

• constructive:    [kən'strʌktic]tính từcó tính cách xây dựngconstructive criticsmphê bình xây dựng(thuộc) kiến trúc, (thuộc) xây dựngsuy diễn, hiểu ngầma constructive denialmột sự từ chối phải hiểu ngầm; một sự từ c
• mathematics:    [,mæθi'mætiks/ (maths) /mæθs]danh từ, số nhiều dùng như số ítmôn toán, toán họcpure mathematicstoán học thuần tuýapplied mathematicstoán học ứng dụngmathematicstoán họcabstract m. toán học trừu tượn
• a constructive denial:    một sự từ chối phải hiểu ngầm, một sự từ chối khéo

Câu ví dụ

Not surprisingly, then, constructive mathematics is sometimes associated with theoretical computer science.
Không có gì đáng ngạc nhiên, sau đó, cách tiếp cận toán học này đôi khi được kết hợp với khoa học máy tính lý thuyết.

His son, another Andrey Andreevich Markov (1903–1979), was also a notable mathematician, making contributions on constructive mathematics and recursive function theory.
Con trai của ông cũng tên là Andrei Andreevich Markov (1903–1979), cũng là nhà toán học đáng chú ý, đóng góp cho ngành Kỹ thuật xây dựng và thuyết chức năng đệ quy.

His son, another Andrei Andreevich Markov (1903–1979), was also a notable mathematician, making contributions to constructive mathematics and recursive function theory.
Con trai của ông cũng tên là Andrei Andreevich Markov (1903–1979), cũng là nhà toán học đáng chú ý, đóng góp cho ngành Kỹ thuật xây dựng và thuyết chức năng đệ quy.